Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
701	Productive use of failure in top-down formal methods School of Informatics University of Edinburgh [removed] Yuhui Lin Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Rippling IsaPlanner Mathematical proof Formal methods Theorem Formal proof Isabelle Logic Automated theorem proving Mathematics
702	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
703	ON THE NECESSITY OF (SOMETIMES) BEING SYNTHETIC COMMENT ON POGGIOLESI Giuseppe Primiero Universiteit Gent IEG – University of Oxford Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-12-19 09:13:33 Non-classical logic Mathematical logic Logical syntax Mathematical proof Paraconsistent logic Intuitionism Analytic proof Modal logic Formal proof Logic Philosophical logic Proof theory
704	Eclipse Proof General David Aspinall 1 LFCS, School of Informatics, University of Edinburgh, U.K. Abstract This is a description of a plan for new research which has been awarded an Eclipse Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2004-03-23 07:03:59 Automated theorem proving Formal methods Logic in computer science Proof assistant Isabelle Coq Mathematical proof Interactive proof system E theorem prover Theoretical computer science Mathematics Software
705	Tobias Nipkow, Gerwin Klein Concrete Semantics with Isabelle/HOL April 8, 2015 Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:05 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
706	The Four Colour Theorem Vincent Schlegel University of Adelaide August 17, 2012 Add to Reading List Source URL: www.aums.org.au Language: English - Date: 2013-10-07 19:22:42 Planar graphs Four color theorem Percy John Heawood Theorem Mathematical proof Five color theorem Francis Guthrie Kempe chain Graph theory Mathematics Graph coloring
707	A statistical relational learning challenge – extracting proof strategies from exemplar proofs Gudmund Grov University of Edinburgh, United Kingdom Ekaterina Komendantskaya Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical proof Proof assistant Logic programming Coq Mathematical logic Formal methods Proof Automated reasoning Logic Mathematics Theoretical computer science
708	Extending the proof methods and critics of a proof planner Daniel Raggi NI VER Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:50 Automated theorem proving Mathematical logic Logical consequence Philosophical logic Mathematical proof Entailment Sequent calculus Conjecture Mathematical induction Logic Mathematics Proof theory
709	Case for support projects — most recently venturing into interdisciplinary research, when he led the six year Dependability IRC.1 He also has a Platform grant (TrAmS) on “Trustworthy Ambient Systems”. Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Formal methods Automated theorem proving Logic in computer science Logical syntax Mathematical proof Rippling Automated proof checking Rodin tool Isabelle Theoretical computer science Mathematics Logic
710	Accessibility, Matching, Use: on limitations of computing in a distributed setting Giuseppe Primiero FWO - Flemish Research Foundation Centre for Logic and Philosophy of Science, Ghent University Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-09-18 06:39:21 Dependently typed programming Logic in computer science Philosophy of computer science Type theory Mathematics Ordinal number Computer science Proof theory Mathematical logic Curry–Howard correspondence

UPDATE